<html>
<body>
Reports array_push(...) calls behaving as '$array []= ...'.<br />
' []= ' works faster than invoking functions in PHP.
</body>
</html>
